Incomplete Information
Stéphane P Demri and 1 more
Hardback
Not Available
Duration Calculus
Chaochen Zhou and 1 more
Foundations of Algebraic Specification and Formal Software Development
D Sannella and 1 more
Fault-Tolerant Search Algorithms
Ferdinando Cicalese
Graph and Model Transformation
Hartmut Ehrig and 3 more
Process Algebras for Petri Nets
Roberto Gorrieri
Coping With Selfishness in Congestion Games
Vittorio Bilò and 1 more
Paperback